graph{
	fill-color: #c0c0c0;
}

node{
	size: 25px,25px;
	shape: circle;
    fill-mode:plain;
    fill-color: #0080c0;
    stroke-color: #000080;
    stroke-width: 1.5px;    
    stroke-mode: plain;
    z-index: 2;
    text-color: #d2cfca;
    text-alignment: center;
    text-size: 15;
    text-style:bold;
}

edge{
	size: 2.5px;
	text-color: #000080;
    text-alignment: above;
    text-size: 15;
    text-style:bold;
}

node.active{
	fill-color:#ff3535;
}